Computational problem - PDFSEARCH.IO - Document Search Engine

Computational problem
Results: 1172

#	Item
531	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics
532	Édouard Bonnet Paris Dauphine - LAMSADE Computer Science Department Place du Maréchal de Lattre de TassignyParis Add to Reading List Source URL: www.lamsade.dauphine.fr Language: English - Date: 2015-04-20 04:47:40 Parameterized complexity Time complexity Approximation algorithm Vangelis Complexity Set cover problem Cut Theoretical computer science Computational complexity theory Applied mathematics
533	Global Grid Forum: Grid Computing Environments Community Practice (CP) Document Project Title: Nimrod/G Problem Solving Environment and Computational Economies CP Document Contact: Rajkumar Buyya, sh.e Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2004-02-16 23:54:07 Grid computing Parallel computing Nimrod Open Grid Forum Scheduling Computer cluster Globus Toolkit Oracle Grid Engine Concurrent computing Computing Computer architecture
534	Microsoft Word - McCalley-ICCSpaperFinal2007.doc Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-10-07 21:23:11 Applied mathematics Operations research Theoretical computer science Optimization problem Algorithm Multi-objective optimization Decision problem Mathematical optimization Computational problems Mathematics
535	Questions Answered. In Theory. http://cstheory.stackexchange.com∗ Perhaps you’re a computer scientist wondering how much the Axiom of Choice matters to the theorems you study and prove[21]. Perhaps you’re a mathema Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-11-05 18:41:12 Complexity classes Community websites Mathematical optimization Conjectures P versus NP problem Structural complexity theory Stack Exchange Network NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics
536	The Ackermann Award 2011 Report of the Jury The seventh Ackermann Award will be presented at this CSL’11, held in Bergen, Norway. This is the ﬁfth year the EACSL Ackermann Award is generously sponsored. Our sponsor f Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Computational complexity theory Finite model theory Circuit complexity Clique problem Clique Wilhelm Ackermann Logic Switching lemma Descriptive complexity theory Theoretical computer science Mathematics Applied mathematics
537	SOP TRANSACTIONS ON APPLIED MATHEMATICS Accepted version, see http://www.scipublish.com/journals/AM/papers/1097 for published version. Approximation Algorithms for Subclasses of the Makespan Problem on Unrelated Parallel Add to Reading List Source URL: drpage.pagewizardgames.com Language: English - Date: 2015-02-07 18:05:03 Mathematical optimization Operations research Complexity classes Structural complexity theory Job shop scheduling NP Algorithm Time complexity Approximation algorithm Theoretical computer science Applied mathematics Computational complexity theory
538	International Conference on Computational Creativity (ICCCProgram1 •••••••••• Tuesday June 11 •••••••••• 20:00 Informal Gathering at The Duck Inn (Rose St, Chippendale) Add to Reading List Source URL: www.computationalcreativity.net Language: English - Date: 2013-06-05 11:05:51 Educational psychology Creativity Simon Colton Psychology Mind Cognitive science Artificial intelligence Computational creativity Problem solving
539	TR IDSIA–16–03, revision 2.0; 30 October 2003 Progress In Incremental Machine Learning Ray J. Solomonoff Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-18 21:26:32 Artificial intelligence Ray Solomonoff Computational complexity theory Inductive reasoning Reduction Problem of induction Science Knowledge Epistemology
540	Using MCMC Sampling to Calibrate a Computer Model of a Geothermal Field Tiangang Cui Colin Fox Add to Reading List Source URL: www.stats.ox.ac.uk Language: English - Date: 2009-10-08 10:55:44 Computational science Aerodynamics Chemical engineering Fluid dynamics Piping Computer simulation Inverse problem Relative permeability Estimation theory Materials science Science Physics

UPDATE